relation completeness

关系完备性